Search results for "Dirichlet form"
showing 10 items of 14 documents
Uniqueness of diffusion on domains with rough boundaries
2016
Let $\Omega$ be a domain in $\mathbf R^d$ and $h(\varphi)=\sum^d_{k,l=1}(\partial_k\varphi, c_{kl}\partial_l\varphi)$ a quadratic form on $L_2(\Omega)$ with domain $C_c^\infty(\Omega)$ where the $c_{kl}$ are real symmetric $L_\infty(\Omega)$-functions with $C(x)=(c_{kl}(x))>0$ for almost all $x\in \Omega$. Further assume there are $a, \delta>0$ such that $a^{-1}d_\Gamma^{\delta}\,I\le C\le a\,d_\Gamma^{\delta}\,I$ for $d_\Gamma\le 1$ where $d_\Gamma$ is the Euclidean distance to the boundary $\Gamma$ of $\Omega$. We assume that $\Gamma$ is Ahlfors $s$-regular and if $s$, the Hausdorff dimension of $\Gamma$, is larger or equal to $d-1$ we also assume a mild uniformity property for $\Omega$ i…
Diffusion processes with ultrametric jumps
2007
Abstract In the theory of spin glasses the relaxation processes are modelled by random jumps in ultrametric spaces. One may argue that at the border of glassy and nonglassy phases the processes combining diffusion and jumps may be relevant. Using the Dirichlet form technique we construct a model of diffusion on the real line with jumps on the Cantor set. The jumps preserve the ultrametric feature of a random process on unit ball of 2-adic numbers.
Stochastic Processes on Ends of Tree and Dirichlet Forms
2016
We present main ideas and compare two constructions of stochastic processes on the ends (leaves) of the trees with varying numbers of edges at the nods. In one of them the trees are represented by spaces of numerical sequences and the processes are obtained by solving a class of Chapman-Kolmogorov Equations. In the other the trees are described by the set of nodes and edges. To each node there is naturally associated a finite dimensional function space and the Dirichlet form on it. Having a class of Dirichlet forms at the nodes one can under certain conditions build a Dirichlet form on L2 space of funcions on the ends of the trees. We show that the state spaces of two approaches are homeomo…
A Weitzenböck formula for the damped Ornstein–Uhlenbeck operator in adapted differential geometry
2001
Abstract On the Riemannian path space we consider the Ornstein–Uhlenbeck operator associated to the Dirichlet form E (f,g)=E〈 ∇ f, ∇ g〉 H , where ∇ is the damped gradient and 〈·,·〉 H the scalar product of the Cameron–Martin space H . We prove a corresponding Weitzenbock formula restricted to adapted vector fileds: the Ricci-tensor is shown to be equal to the identity.
Geometry and analysis of Dirichlet forms (II)
2014
Abstract Given a regular, strongly local Dirichlet form E , under assumption that the lower bound of the Ricci curvature of Bakry–Emery, the local doubling and local Poincare inequalities are satisfied, we obtain that: (i) the intrinsic differential and distance structures of E coincide; (ii) the Cheeger energy functional Ch d E is a quadratic norm. This shows that (ii) is necessary for the Riemannian Ricci curvature defined by Ambrosio–Gigli–Savare to be bounded from below. This together with some recent results of Ambrosio–Gigli–Savare yields that the heat flow gives a gradient flow of Boltzman–Shannon entropy under the above assumptions. We also obtain an improvement on Kuwada's duality …
Dirichlet Forms, Poincaré Inequalities, and the Sobolev Spaces of Korevaar and Schoen
2004
We answer a question of Jost on the validity of Poincare inequalities for metric space-valued functions in a Dirichlet domain. We also investigate the relationship between Dirichlet domains and the Sobolev-type spaces introduced by Korevaar and Schoen.
Gradient estimates for heat kernels and harmonic functions
2020
Let $(X,d,\mu)$ be a doubling metric measure space endowed with a Dirichlet form $\E$ deriving from a "carr\'e du champ". Assume that $(X,d,\mu,\E)$ supports a scale-invariant $L^2$-Poincar\'e inequality. In this article, we study the following properties of harmonic functions, heat kernels and Riesz transforms for $p\in (2,\infty]$: (i) $(G_p)$: $L^p$-estimate for the gradient of the associated heat semigroup; (ii) $(RH_p)$: $L^p$-reverse H\"older inequality for the gradients of harmonic functions; (iii) $(R_p)$: $L^p$-boundedness of the Riesz transform ($p<\infty$); (iv) $(GBE)$: a generalised Bakry-\'Emery condition. We show that, for $p\in (2,\infty)$, (i), (ii) (iii) are equivalent, wh…
Tensorization of quasi-Hilbertian Sobolev spaces
2022
The tensorization problem for Sobolev spaces asks for a characterization of how the Sobolev space on a product metric measure space $X\times Y$ can be determined from its factors. We show that two natural descriptions of the Sobolev space from the literature coincide, $W^{1,2}(X\times Y)=J^{1,2}(X,Y)$, thus settling the tensorization problem for Sobolev spaces in the case $p=2$, when $X$ and $Y$ are infinitesimally quasi-Hilbertian, i.e. the Sobolev space $W^{1,2}$ admits an equivalent renorming by a Dirichlet form. This class includes in particular metric measure spaces $X,Y$ of finite Hausdorff dimension as well as infinitesimally Hilbertian spaces. More generally for $p\in (1,\infty)$ we…
Fokker–Planck equation with respect to heat measures on loop groups
2011
Abstract The Dirichlet form on the loop group L e ( G ) with respect to the heat measure defines a Laplacian Δ DM on L e ( G ) . In this note, we will use Wasserstein distance variational method to solve the associated heat equation for a given data of finite entropy.
Analysis on free Riemannian path spaces
2005
Abstract The gradient operator is defined on the free path space with reference measure P μ , the law of the Brownian motion on the base manifold with initial distribution μ, where μ has strictly positive density w.r.t. the volume measure. The formula of integration by parts is established for the underlying directional derivatives, which implies the closability of the gradient operator so that it induces a conservative Dirichlet form on the free path space. The log-Sobolev inequality for this Dirichlet form is established and, consequently, the transportation cost inequality is obtained for the associated intrinsic distance.